Nuprl Definition : locknd-deq
11,40
postcript
pdf
locknd-deq() == product-deq(Id;Knd;IdDeq;KindDeq)
latex
Definitions
product-deq(
A
;
B
;
a
;
b
)
,
Id
,
Knd
,
IdDeq
,
KindDeq
FDL editor aliases
locknd-deq
origin